﻿using FastColoredTextBoxNS;
using System.Windows.Forms;
namespace CodeEditorCompiler
{
    partial class TextEditorCompiler
    {
        /// <summary> 
        /// Variabile di progettazione necessaria.
        /// </summary>
        private System.ComponentModel.IContainer components = null;

        /// <summary> 
        /// Liberare le risorse in uso.
        /// </summary>
        /// <param name="disposing">ha valore true se le risorse gestite devono essere eliminate, false in caso contrario.</param>
        protected override void Dispose( bool disposing )
        {
            if( disposing && ( components != null ) )
            {
                components.Dispose();
            }
            base.Dispose( disposing );
        }

        #region Codice generato da Progettazione componenti

        /// <summary> 
        /// Metodo necessario per il supporto della finestra di progettazione. Non modificare 
        /// il contenuto del metodo con l'editor di codice.
        /// </summary>
        private void InitializeComponent()
        {
            System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(TextEditorCompiler));
            this.textBoxInput = new FastColoredTextBoxNS.FastColoredTextBox();
            this.toolbar = new System.Windows.Forms.ToolStrip();
            this.btnOutputView = new System.Windows.Forms.ToolStripButton();
            this.btnSkeletonCode = new System.Windows.Forms.ToolStripButton();
            this.cbLanguage = new System.Windows.Forms.ToolStripComboBox();
            this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
            this.btnRedirect = new System.Windows.Forms.ToolStripButton();
            this.btnExecute = new System.Windows.Forms.ToolStripButton();
            this.btnBuild = new System.Windows.Forms.ToolStripButton();
            this.splitContainer1 = new System.Windows.Forms.SplitContainer();
            this.textBoxOutput = new System.Windows.Forms.RichTextBox();
            this.toolbar.SuspendLayout();
            ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
            this.splitContainer1.Panel1.SuspendLayout();
            this.splitContainer1.Panel2.SuspendLayout();
            this.splitContainer1.SuspendLayout();
            this.SuspendLayout();
            // 
            // textBoxInput
            // 
            this.textBoxInput.AllowDrop = true;
            this.textBoxInput.AutoScrollMinSize = new System.Drawing.Size(27, 14);
            this.textBoxInput.BackBrush = null;
            this.textBoxInput.Cursor = System.Windows.Forms.Cursors.IBeam;
            this.textBoxInput.DelayedEventsInterval = 200;
            this.textBoxInput.DelayedTextChangedInterval = 500;
            this.textBoxInput.DisabledColor = System.Drawing.Color.FromArgb(((int)(((byte)(100)))), ((int)(((byte)(180)))), ((int)(((byte)(180)))), ((int)(((byte)(180)))));
            this.textBoxInput.Dock = System.Windows.Forms.DockStyle.Fill;
            this.textBoxInput.IndentBackColor = System.Drawing.Color.Transparent;
            this.textBoxInput.Language = FastColoredTextBoxNS.Language.CSharp;
            this.textBoxInput.LeftBracket = '(';
            this.textBoxInput.LeftBracket2 = '{';
            this.textBoxInput.Location = new System.Drawing.Point(0, 0);
            this.textBoxInput.Name = "textBoxInput";
            this.textBoxInput.Paddings = new System.Windows.Forms.Padding(0);
            this.textBoxInput.RightBracket = ')';
            this.textBoxInput.RightBracket2 = '}';
            this.textBoxInput.SelectionColor = System.Drawing.Color.FromArgb(((int)(((byte)(50)))), ((int)(((byte)(0)))), ((int)(((byte)(0)))), ((int)(((byte)(255)))));
            this.textBoxInput.Size = new System.Drawing.Size(714, 286);
            this.textBoxInput.TabIndex = 4;
            this.textBoxInput.TextChanged += new System.EventHandler<FastColoredTextBoxNS.TextChangedEventArgs>(this.textBoxInput_TextChanged);
            this.textBoxInput.SelectionChangedDelayed += new System.EventHandler(this.textBoxInput_SelectionChangedDelayed);
            // 
            // toolbar
            // 
            this.toolbar.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden;
            this.toolbar.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
            this.btnOutputView,
            this.btnSkeletonCode,
            this.cbLanguage,
            this.toolStripSeparator1,
            this.btnRedirect,
            this.btnExecute,
            this.btnBuild});
            this.toolbar.Location = new System.Drawing.Point(0, 0);
            this.toolbar.Name = "toolbar";
            this.toolbar.Size = new System.Drawing.Size(714, 25);
            this.toolbar.TabIndex = 3;
            // 
            // btnOutputView
            // 
            this.btnOutputView.Alignment = System.Windows.Forms.ToolStripItemAlignment.Right;
            this.btnOutputView.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.btnOutputView.Image = global::CodeEditorCompiler.Properties.Resources.DoubleView;
            this.btnOutputView.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.btnOutputView.Name = "btnOutputView";
            this.btnOutputView.Size = new System.Drawing.Size(23, 22);
            this.btnOutputView.Text = "toolStripButton1";
            this.btnOutputView.ToolTipText = "Show output window";
            this.btnOutputView.Click += new System.EventHandler(this.btnOutputView_Click);
            // 
            // btnSkeletonCode
            // 
            this.btnSkeletonCode.Alignment = System.Windows.Forms.ToolStripItemAlignment.Right;
            this.btnSkeletonCode.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.btnSkeletonCode.Image = ((System.Drawing.Image)(resources.GetObject("btnSkeletonCode.Image")));
            this.btnSkeletonCode.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.btnSkeletonCode.Name = "btnSkeletonCode";
            this.btnSkeletonCode.Size = new System.Drawing.Size(23, 22);
            this.btnSkeletonCode.Text = "Insert stub code";
            this.btnSkeletonCode.Click += new System.EventHandler(this.btnSkeletonCode_Click);
            // 
            // cbLanguage
            // 
            this.cbLanguage.Alignment = System.Windows.Forms.ToolStripItemAlignment.Right;
            this.cbLanguage.AutoCompleteCustomSource.AddRange(new string[] {
            "C#",
            "F#",
            "VB"});
            this.cbLanguage.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
            this.cbLanguage.Items.AddRange(new object[] {
            "C#",
            "VB"});
            this.cbLanguage.MaxDropDownItems = 3;
            this.cbLanguage.Name = "cbLanguage";
            this.cbLanguage.Size = new System.Drawing.Size(75, 25);
            this.cbLanguage.Sorted = true;
            this.cbLanguage.Tag = "";
            this.cbLanguage.ToolTipText = "Language";
            this.cbLanguage.SelectedIndexChanged += new System.EventHandler(this.cbLanguage_SelectedIndexChanged);
            // 
            // toolStripSeparator1
            // 
            this.toolStripSeparator1.Name = "toolStripSeparator1";
            this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
            // 
            // btnRedirect
            // 
            this.btnRedirect.Alignment = System.Windows.Forms.ToolStripItemAlignment.Right;
            this.btnRedirect.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.btnRedirect.Image = ((System.Drawing.Image)(resources.GetObject("btnRedirect.Image")));
            this.btnRedirect.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.btnRedirect.Name = "btnRedirect";
            this.btnRedirect.Size = new System.Drawing.Size(23, 22);
            this.btnRedirect.ToolTipText = "Redirect standard output here (enabled)";
            this.btnRedirect.Click += new System.EventHandler(this.btnRedirect_Click);
            // 
            // btnExecute
            // 
            this.btnExecute.Alignment = System.Windows.Forms.ToolStripItemAlignment.Right;
            this.btnExecute.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.btnExecute.Image = ((System.Drawing.Image)(resources.GetObject("btnExecute.Image")));
            this.btnExecute.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.btnExecute.Name = "btnExecute";
            this.btnExecute.Size = new System.Drawing.Size(23, 22);
            this.btnExecute.Text = "toolStripButton2";
            this.btnExecute.ToolTipText = "Execute code (F6)";
            this.btnExecute.Click += new System.EventHandler(this.btnExecute_Click);
            // 
            // btnBuild
            // 
            this.btnBuild.Alignment = System.Windows.Forms.ToolStripItemAlignment.Right;
            this.btnBuild.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
            this.btnBuild.Image = ((System.Drawing.Image)(resources.GetObject("btnBuild.Image")));
            this.btnBuild.ImageTransparentColor = System.Drawing.Color.Magenta;
            this.btnBuild.Name = "btnBuild";
            this.btnBuild.Size = new System.Drawing.Size(23, 22);
            this.btnBuild.Text = "toolStripButton1";
            this.btnBuild.ToolTipText = "Build code (F5)";
            this.btnBuild.Click += new System.EventHandler(this.btnBuild_Click);
            // 
            // splitContainer1
            // 
            this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
            this.splitContainer1.Location = new System.Drawing.Point(0, 25);
            this.splitContainer1.Name = "splitContainer1";
            this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
            // 
            // splitContainer1.Panel1
            // 
            this.splitContainer1.Panel1.Controls.Add(this.textBoxInput);
            // 
            // splitContainer1.Panel2
            // 
            this.splitContainer1.Panel2.Controls.Add(this.textBoxOutput);
            this.splitContainer1.Panel2Collapsed = true;
            this.splitContainer1.Size = new System.Drawing.Size(714, 286);
            this.splitContainer1.SplitterDistance = 223;
            this.splitContainer1.TabIndex = 5;
            // 
            // textBoxOutput
            // 
            this.textBoxOutput.Dock = System.Windows.Forms.DockStyle.Fill;
            this.textBoxOutput.Location = new System.Drawing.Point(0, 0);
            this.textBoxOutput.Name = "textBoxOutput";
            this.textBoxOutput.Size = new System.Drawing.Size(150, 46);
            this.textBoxOutput.TabIndex = 0;
            this.textBoxOutput.Text = "";
            // 
            // TextEditorCompiler
            // 
            this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
            this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
            this.Controls.Add(this.splitContainer1);
            this.Controls.Add(this.toolbar);
            this.Name = "TextEditorCompiler";
            this.Size = new System.Drawing.Size(714, 311);
            this.toolbar.ResumeLayout(false);
            this.toolbar.PerformLayout();
            this.splitContainer1.Panel1.ResumeLayout(false);
            this.splitContainer1.Panel2.ResumeLayout(false);
            ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
            this.splitContainer1.ResumeLayout(false);
            this.ResumeLayout(false);
            this.PerformLayout();

        }

        #endregion

        private FastColoredTextBoxNS.FastColoredTextBox textBoxInput;
        private System.Windows.Forms.ToolStrip toolbar;
        private System.Windows.Forms.ToolStripComboBox cbLanguage;
        private System.Windows.Forms.ToolStripButton btnExecute;
        private System.Windows.Forms.ToolStripButton btnBuild;
        private SplitContainer splitContainer1;
        private RichTextBox textBoxOutput;
        private ToolStripSeparator toolStripSeparator1;
        private ToolStripButton btnRedirect;
        private ToolStripButton btnSkeletonCode;
        private ToolStripButton btnOutputView;

        public ToolStrip Toolbar { get { return this.toolbar; } }
        public FastColoredTextBox InputTextBox { get { return this.textBoxInput; } }
        public RichTextBox OutputTextBox { get { return this.textBoxOutput; } }
    }
}
